Services and visualization : towards user-friendly design (Selected papers)Margaria, Tiziana; Steffen, Bernhard; Rückert, Roland et al.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64367-2, XII, 322 p, isbn 3-540-64367-2Conference Proceedings

Smart card research and advanced applications (7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006)Domingo-Ferrer, Josep; Posegga, Joachim; Schreckling, Daniel et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-33311-8, 1Vol, XI-358 p, isbn 3-540-33311-8Conference Proceedings

The Web impact : A white paperLARDENOIS, A.Lecture notes in computer science. 1998, pp 1-7, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Testing IN protocol implementationFLORSCHÜTZ, P.Lecture notes in computer science. 1998, pp 117-127, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Zero footprint secure internet authentication using network smart cardALI, Asad M.Lecture notes in computer science. 2006, pp 91-104, issn 0302-9743, isbn 3-540-33311-8, 1Vol, 14 p.Conference Paper

'Calls considered Harmful' and other observations : A tutorial on telephonyZAVE, P.Lecture notes in computer science. 1998, pp 8-27, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Certifying native java card API by formal refinementNGUYEN, Quang-Huy; CHETALI, Boutheina.Lecture notes in computer science. 2006, pp 313-328, issn 0302-9743, isbn 3-540-33311-8, 1Vol, 16 p.Conference Paper

Noisy tags : A pretty good key exchange protocol for RFID tagsCASTELLUCCIA, Claude; AVOINE, Gildas.Lecture notes in computer science. 2006, pp 289-299, issn 0302-9743, isbn 3-540-33311-8, 1Vol, 11 p.Conference Paper

Power analysis to ECC using differential power between multiplication and squaringAKISHITA, Toru; TAKAGI, Tsuyoshi.Lecture notes in computer science. 2006, pp 151-164, issn 0302-9743, isbn 3-540-33311-8, 1Vol, 14 p.Conference Paper

Application of INAP to AIN intelligent peripheralHEE JIN LIM; GO BONG CHOI.Lecture notes in computer science. 1998, pp 278-290, issn 0302-9743, isbn 3-540-64367-2Conference Paper

The generation of Service database schema through Service Creation EnvironmentJEOMJA KANG; JEONGHUN CHOI; SEHYEONG CHO et al.Lecture notes in computer science. 1998, pp 238-249, issn 0302-9743, isbn 3-540-64367-2Conference Paper

An optimistic NBAC-based fair exchange method for arbitrary itemsTERADA, Masayuki; MORI, Kensaku; HONGO, Sadayuki et al.Lecture notes in computer science. 2006, pp 105-118, issn 0302-9743, isbn 3-540-33311-8, 1Vol, 14 p.Conference Paper

Off-line group signatures with smart cardsFISCHER, Jean-Bernard; PROUFF, Emmanuel.Lecture notes in computer science. 2006, pp 263-277, issn 0302-9743, isbn 3-540-33311-8, 1Vol, 15 p.Conference Paper

Optimal use of montgomery multiplication on smart cardsBOSCHER, Arnaud; NACIRI, Robert.Lecture notes in computer science. 2006, pp 252-262, issn 0302-9743, isbn 3-540-33311-8, 1Vol, 11 p.Conference Paper

Using a visual formalism for design verification in industrial environmentsSCHLÖR, R; JOSKO, B; WERTH, D et al.Lecture notes in computer science. 1998, pp 208-221, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Anonymous authentication with optional shared anonymity revocation and linkabilitySCHAFFER, Martin; SCHARTNER, Peter.Lecture notes in computer science. 2006, pp 206-221, issn 0302-9743, isbn 3-540-33311-8, 1Vol, 16 p.Conference Paper

Agent-based data services in future IN-platformsALBAYRAK, S; MEINKÖHN, J.Lecture notes in computer science. 1998, pp 128-141, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Design and evaluation of a visual formalism for real time logicsLUSINI, M; VICARIO, E.Lecture notes in computer science. 1998, pp 158-173, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Designing smartcards for emerging wireless networksURIEN, Pascal; DANDJINOU, Mesmin.Lecture notes in computer science. 2006, pp 165-178, issn 0302-9743, isbn 3-540-33311-8, 1Vol, 14 p.Conference Paper

Formal methods and customized visualization : A fruitful symbiosisMARGARIA, T; BRAUN, V.Lecture notes in computer science. 1998, pp 190-207, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Requirements and a proposal for the prevention of a class of Service interactions in Intelligent NetworksKECK, D. O.Lecture notes in computer science. 1998, pp 90-105, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Bytecode model checking: An experimental analysisBASIN, David; FRIEDRICH, Stefan; GAWKOWSKI, Marek et al.Lecture notes in computer science. 2002, pp 42-59, issn 0302-9743, isbn 3-540-43477-1Conference Paper

Automatic test generation on a (U)SIM smart cardBIGOT, Celine; FAIVRE, Alain; GASTON, Christophe et al.Lecture notes in computer science. 2006, pp 345-358, issn 0302-9743, isbn 3-540-33311-8, 1Vol, 14 p.Conference Paper

Visualisation of executable formal specifications for user validationÖZCAN, M. B; PARRY, P. W; MORREY, I. C et al.Lecture notes in computer science. 1998, pp 142-157, issn 0302-9743, isbn 3-540-64367-2Conference Paper

A Mobile Broadband Service Switching point : A new network element for multimedia and Mobile servicesBLAIOTTA, D; FAGLIA, L; VARISCO, M et al.Lecture notes in computer science. 1998, pp 306-322, issn 0302-9743, isbn 3-540-64367-2Conference Paper